A framework for detecting interface violations in component-based software

نویسندگان

  • Stephen H. Edwards
  • Gulam Shakir
  • Murali Sitaraman
  • Bruce W. Weide
  • Joe Hollingsworth
چکیده

‚ 6WHSKHQ (GZDUGV LV FXUUHQWO\ ZLWK 9LUJLQLD 7HFK &RPSXWHU 6FLHQFH 'HSW %ODFNVEXUJ 9$ ° *XODP 6KDNLU LV FXUUHQWO\ ZLWK 3DUDPHWULF 7HFKQRORJ\ &RUSRUDWLRQ %RFD 5DWRQ )/ $EVWUDFW 7ZR NLQGV RI LQWHUIDFH FRQWUDFW YLRODWLRQV FDQ RFFXU LQ FRPSRQHQW EDVHG VRIWZDUH D FOLHQW FRPSRQHQW PD\ IDLO WR VDWLVI\ D UHTXLUHPHQW RI D FRPSRQHQW LW LV XVLQJ RU D FRPSRQHQW LPSOHPHQWDWLRQ PD\ IDLO WR IXOILOO LWV REOLJD WLRQV WR WKH FOLHQW 7KLV SDSHU SURSRVHV D V\VWHPDWLF DS SURDFK IRU GHWHFWLQJ ERWK NLQGV RI YLRODWLRQV VR WKDW YLR ODWLRQ GHWHFWLRQ LV QRW KDUG FRGHG LQWR EDVH OHYHO FRP SRQHQWV EXW LV ¦OD\HUHG§ RQ WRS RI WKHP DQG VR WKDW LW FDQ EH WXUQHG ¦RQ§ RU ¦RII§ VHOHFWLYHO\ IRU RQH RU PRUH FRPSRQHQWV ZLWK SUDFWLFDOO\ QR FKDQJH WR H[HFXWDEOH FRGH OLPLWLQJ FKDQJHV WR D IHZ GHFODUDWLRQV $PRQJ WKH VDOLHQW IHDWXUHV RI WKLV DSSURDFK DUH LWV XVH RI IRUPDO VSHFLILFDWLRQV WKH DELOLW\ WR KDQGOH SDUDPHWHUL]HG L H JHQHULF RU WHPSODWH FRPSRQHQWV DQG WKH DXWRPDWLF JHQ HUDWLRQ RI URXWLQH DVSHFWV RI YLRODWLRQ GHWHFWLRQ :H KDYH GHVLJQHG EXLOW DQG H[SHULPHQWHG ZLWK D JHQHUDWRU RI FKHFNLQJ FRPSRQHQWV IRU & WHPSODWHV .H\ZRUGV VSHFLILFDWLRQ HUURU KDQGOLQJ ZUDSSHU FKHFNLQJ FRPSRQHQW JHQHUDWRU GHVLJQ E\ FRQWUDFW JH QHULF WHPSODWH

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies - An Overview

In reengineering, up-to-date architecture models are important artifacts to get an overview of a system and to plan and execute the necessary reengineering activities. If such models do not exist, software architecture reconstruction (SAR) techniques can be used to recover them from the system’s source code. However, design deficiencies like Interface Violations can influence the architecture r...

متن کامل

A review on EEG based brain computer interface systems feature extraction methods

The brain – computer interface (BCI) provides a communicational channel between human and machine. Most of these systems are based on brain activities. Brain Computer-Interfacing is a methodology that provides a way for communication with the outside environment using the brain thoughts. The success of this methodology depends on the selection of methods to process the brain signals in each pha...

متن کامل

A Temporal Abductive Diagnostic Process for Runtime Properties Violations

The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be always sufficient for the preservation of the properties. Except for the detection, the explanations of the occurrence of a violation could play significant role for the preservation task. In particular, diagnosis ca...

متن کامل

A review on EEG based brain computer interface systems feature extraction methods

The brain – computer interface (BCI) provides a communicational channel between human and machine. Most of these systems are based on brain activities. Brain Computer-Interfacing is a methodology that provides a way for communication with the outside environment using the brain thoughts. The success of this methodology depends on the selection of methods to process the brain signals in each pha...

متن کامل

ارزیابی کاربردپذیری سامانه مدیریت کتابخانه‌های عمومی کشور (سامان) بر اساس اصول دهگانه نیلسون

Purpose: evaluation of the user interface of the management system of Iran Public Libraries Foundation (Saman) is the main aim of the paper. Saman is a newly developed web based and integrated library software that seemingly works as a library OPAC.  Methodology: This research is an applied study and tries to investigate the usability standards of Saman website through heuristic evaluation met...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998